frama-c software package provides Framework for source code analysis of software written in C, you can install in your Ubuntu 12.04 LTS (Precise Pangolin) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install frama-c
frama-c is installed in your system.
Make ensure the frama-c package were installed using the commands given below,
$ sudo dpkg-query -l | grep frama-c *
You will get with frama-c package name, version, architecture and description in a table
| Distro | Ubuntu 12 04 lts precise pangolin |
| Section | Mathematics |
| Package | frama-c |
| Version | 20111001+nitrogen+dfsg-3 |
| Description | Framework for source code analysis of software written in C |
| Sub Section | Math |
I'm very pleased to share my working experience in the Linux field and have posted articles in this website — bits and pieces learned throughout my career.
